Valuative trees over valued fields

For an arbitrary valued field (K,v) and a given extension v(K⁎)↪Λ of ordered groups, we analyze the structure tree formed by all Λ-valued extensions v to polynomial ring K[x]. As application, find model for equivalence classes valuations on K[x] (without fixing their value group), whose restriction K is equivalent v.